A testing methodology for performance-based specification
نویسندگان
چکیده
منابع مشابه
A Framework for Specification-Based Testing
Test templates and a test template framework are introduced as useful concepts in specification-based testing The framework can be defined using any model-based specification notation and used to derive tests from model-based specificationsin this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification...
متن کاملMethodology for SIP Infrastructure Performance Testing
This paper deals with a testing method suitable for SIP infrastructure. The performance testing is an issue of research and no standardized methodology has been adopted yet. We present the main ideas of the methodology that allows for testing the keystone of SIP based infrastructure – the SIP Server – in both SIP Proxy and B2BUA (Back to Back User Agent) configurations. Our methodology has its ...
متن کاملTeaching Specification-Based Testing
Historically, relatively less emphasis has been placed on software testing in comparison with other activities, such as systems analysis and design, of the software life cycle in an undergraduate computer science or software engineering curriculum. Testing, however, is a common and important technique used to detect program faults. Thus, testing must be taught rigorously to the students. This p...
متن کاملSpecification-Based Testing for CoCasl's Modal Specifications
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an extension of the most popular and most efficient selection method widely used in the algebraic framework, called axiom unfolding, to coalgebraic specifications, using the modal logic provided by the CoCasl specificat...
متن کاملSpecification-based Testing for Software Product Lines
In this paper, we develop a testing theory for specification-based software product line development. Starting with a framework for the evaluation of test cases with respect to formal specifications, we develop a notion of enhancement, which allows to re-use test cases in a horizontal systems development process. In such a process, more and more features are added to an existing software produc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Structural Integrity and Maintenance
سال: 2017
ISSN: 2470-5314,2470-5322
DOI: 10.1080/24705314.2017.1318040